aux_source_directory(. redundantjudgement)
add_library(redundantjudgement ${redundantjudgement})